A Unified Specification Format for Interlevel Relations between Agent Models in Multiple Abstraction Dimensions
نویسنده
چکیده
Multiagent systems for a certain application area can be modelled at multiple levels of abstraction. Interlevel relations are a means to relate models from different abstraction levels. Three dimensions of abstraction often occurring are the process abstraction, temporal abstraction, and agent cluster abstraction dimension. In this paper a unifying formalisation is presented that can be used as a framework to specify interlevel relations for any of such dimensions. The approach is illustrated by showing how a variety of different types of abstraction relations between multi-agent system models can be formally specified in a unified manner.
منابع مشابه
Specification of Interlevel Relations for Agent Models in Multiple Abstraction Dimensions
Multiagent systems for a certain application area can be modelled at multiple levels of abstraction. Interlevel relations are a means to relate models from different abstraction levels. Three dimensions of abstraction often occurring are the process abstraction, temporal abstraction, and agent cluster abstraction dimension. In this paper a unifying formalisation is presented that can be used as...
متن کاملVerifying Interlevel Relations within Multi-Agent Systems: formal theoretical basis
In the general case, at any aggregation level a behavioral specification for a multi-agent system component consists of dynamic properties expressed by complex temporal relations in TTL, which therefore does not allow direct application of automatic verification procedures, more specifically, model checking techniques, used in this paper. In order to apply model checking techniques it is needed...
متن کاملTowards Design Verification and Validation at Multiple Levels of Abstraction
The specification of software for distributed production control systems is an error prone task. The ISILEIT project aims at the development of a seamless methodology for the integrated design, analysis and validation of such embedded systems. Suitable subsets of UML and SDL for the design of such systems are therefore identified in a first step. The paper then focuses on how we use a series of...
متن کاملAPOC- An Architecture Framework for Complex Agents
In this chapter, we introduce an architecture framework called APOC (for “ActivatingProcessing-Observing-Components”) for the analysis, evaluation, and design of complex agents. APOC provides a unified framework for the specification of agent architectures at different levels of abstraction. As such it permits intermediary levels of architectural specification between high-level functional desc...
متن کاملFormal Analysis of Aviation Incidents
In this paper, a formal, agent-based approach is presented to analyse the dynamics of accidents and incidents in aviation. The approach comprises a number of steps, which include development of domain ontology, formalisation of scenarios, formal specification of dynamic properties, identification of interlevel relations between dynamic properties at different aggregation levels, and automated v...
متن کامل